A useful λ-notation
نویسندگان
چکیده
منابع مشابه
A Useful -notation
In this article, we introduce a-notation that is useful for many concepts of the-calculus. The new notation is a simple translation of the classical one. Yet, it provides many nice advantages. First, we show that deenitions such as compatibility, the heart of a term and-redexes become simpler in item notation. Second, we show that with this item notation, reduction can be generalised in a nice ...
متن کاملA Useful lambda-Notation
Lambda Calculus is fundamental for the foundation of Logic, Mathematics, Computer and Cognitive Science. This makes it indispensable to formalise the Lambda Calculus in a way which avoids most of the complications associated with, among others, substitution, variable renaming, the search of bound and free occurrences of variables. Combinatory Logic could be seen as an attempt to do so, but is n...
متن کاملFrom Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC
Bayesian practitioners build models of the world without regarding how difficult it will be to answer questions about them. When answering questions, they put off approximating as long as possible, and usually must write programs to compute converging approximations. Writing the programs is distracting, tedious and error-prone, and we wish to relieve them of it by providing languages and compil...
متن کاملThe Goal Structuring Notation – A Safety Argument Notation
In Europe, over recent years, the responsibility for ensuring system safety has shifted onto the developers and operators to construct and present well reasoned arguments that their systems achieve acceptable levels of safety. These arguments (together with supporting evidence) are typically referred to as a “safety case”. This paper describes the role and purpose of a safety case. Safety argum...
متن کاملA Notation for Comonads
The category-theoretic concept of a monad occurs widely as a design pattern for functional programming with effects. The utility and ubiquity of monads is such that some languages provide syntactic sugar for this pattern, further encouraging its use. We argue that comonads, the dual of monads, similarly provide a useful design pattern, capturing notions of context dependence. However, comonads ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00101-8